0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Program Verification – alle Bücher

    Ihre Suche nach "Program Verification" (Bücher) ergab 6 Treffer.

    Ansicht:

    Static Analysis

    This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Static Analysis

    This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Thom Frühwirth
    Principles of Rule-Based Programming

    The book provides a unified overview of concepts and features of a comprehensive variety of rule-based programming languages. They have applications in diverse areas such as workflow systems, the Semantic…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 36,00

    Theoretical Aspects of Software Engineering

    This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14--16, 2025. The 20 ful…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Games on Graphs

    This volume introduces the fundamental results and the state of the art in infinite duration games on graphs. These versatile game models first appeared in the study of automata and logic, but later becam…

    lieferbar ab 30.4.2026.
    Buch
    Aktueller Preis: EUR 182,44

    Martin Hofmann, Martin Lange
    Automata Theory and Logic

    This book introduces the reader into the field of automata theory and logic. It studies fundamental properties like complementation and determinisation of automata on infinite words and trees, and present…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 69,33
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.